Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое SLD Resolution - определение
THE BASIC INFERENCE RULE USED IN LOGIC PROGRAMMING
Standard Linear Derivation
Найдено результатов: 1659
SLD resolution
<logic, programming> (Selected, Linear, Definite) {Linear
resolution} with a selection function for {definite
sentences}.
A definite sentence has exactly one positive literal in each
clause and this literal is selected to be resolved upon,
i.e. replaced in the goal clause by the conjunction of
negative literals which form the body of the clause.
[Why is SLD resolution important? ]
(2003-12-04)
SLD resolution
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.
SLD
WIKIMEDIA DISAMBIGUATION PAGE
SLD (disambiguation)
¦ abbreviation Social and Liberal Democrats.
Resolution (logic)
IN LOGIC, RULE OF INFERENCE
First-order resolution; First order resolution; Logical resolution; Binary resolution; Resolution principle; Robinson`s resolution principle; Method of resolution; Robinson's Resolution Algorithm; Resolvent (logic); Resolution inference; Resolution prover; Non-clausal resolution; Paramodulation
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in propositional logic and first-order logic. For propositional logic, systematically applying the resolution rule acts as a decision procedure for formula unsatisfiability, solving the (complement of the) Boolean satisfiability problem.
SLD
WIKIMEDIA DISAMBIGUATION PAGE
SLD (disambiguation)
Second Level DOMAIN (Reference: Internet, ICANN)
TIV MPI Resolution
.jpg?width=200)
THE WORLD'S FIRST TURBINE INSTALLATION VESSEL
TIV Mayflower Resolution; MV Mayflower Resolution; MV Resolution; Mayflower Resolution; TIV Resolution; IMO 9260134
TIV MPI Resolution (formerly TIV Mayflower Resolution) is a wind turbine installation vessel deployed to install turbines at offshore wind farms. It was the first self-elevating Turbine Installation Vessel in the world.
Chiral resolution
PROCESS OF SORTING A RACEMIC MIXTURE INTO MORE-PURE ENANTIOMERIC SUBDIVISIONS
Spontaneous resolution; Diastereomeric crystallization; Resolving agent; Enantiomeric resolution
Chiral resolution, or enantiomeric resolution, is a process in stereochemistry for the separation of racemic compounds into their enantiomers. It is an important tool in the production of optically active compounds, including drugs.
United Nations resolution
FORMAL TEXT ADOPTED BY A UNITED NATIONS BODY
UN resolution; Un resolutions; United Nations Resolutions; United Nations Resolution; UN Resolution; UN Resolutions; United Nations resolutions; Unanimous resolution; U.N. resolution; Untied Nations resolution
A United Nations resolution (UN resolution) is a formal text adopted by a United Nations (UN) body. Although any UN body can issue resolutions, in practice most resolutions are issued by the Security Council or the General Assembly.
hi-res
![1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.](https://commons.wikimedia.org/wiki/Special:FilePath/1951usaf test target.jpg?width=200 "1951 USAF resolution test target]] is a classic test target used to determine spatial resolution of imaging sensors and imaging systems.")
![[[digital camera]] (Bayer [[color filter array]])](https://commons.wikimedia.org/wiki/Special:FilePath/Bayer matrix.svg?width=200 "[[digital camera]] (Bayer [[color filter array]])")
![LCD]] (Triangular [[pixel geometry]])](https://commons.wikimedia.org/wiki/Special:FilePath/Lcd display dead pixel.jpg?width=200 "LCD]] (Triangular [[pixel geometry]])"){kind=tracking}
![CRT]] (shadow mask)](https://commons.wikimedia.org/wiki/Special:FilePath/Shadow mask closeup cursor.jpg?width=200 "CRT]] (shadow mask)")
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm
(also high-res)
¦ adjective informal (of a display or image) showing a large amount of detail.
Origin
from high-resolution.
Image resolution
MEASURE OF HOW FINE AN IMAGE IS
Hi Resolution; Low resolution; High-resolution; High resolution; Hi-res; Effective pixels; Total pixels; Texture resolution; Picture resolution; Hi-rez; High-rez; Film resolution; Image size; Pixel count; Lo-res; Hi res; Highres; 🆨; Image line pairs; Line pairs per mm
Image resolution is the detail an image holds. The term applies to digital images, film images, and other types of images.
Википедия
SLD resolution
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.
